Showing 1 - 5 of 5 Results
3.
Formal Methods for Industrial Critical Systems : 24th International Conference, FMICS 2019, ... by Larsen, Kim Guldstrand, Wil... ISBN: 9783030270070 List Price: $59.99
4.
Reactive Systems: Modelling, Specification and Verification by Aceto, Luca, Ing?lfsd?ttir,... ISBN: 9780511814105
5.
Reactive Systems: Modelling, Specification and Verification by Aceto, Luca, Ing?lfsd?ttir,... ISBN: 9780511332142